COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	faculty%score,su-bboards
C00006 ENDMK
C⊗;
faculty%score,su-bboards
industry lecturers
Here are the Industrial Lecture Courses for 1984-85.
They are numbered CS400A, B and C.  Each course will be
given by the named computer scientist from industry.
Each year there is a new group of industrial lecturers,
and the courses are not expected to be repeated.

Clarence (Skip) Ellis (Xerox PARC)
Office Information Systems Design.
Technology, techniques, and design paradigms of electronic office
information systems. The objective is to present a coherent and cohesive
foundation for the understanding and analysis of office systems and
their implementation. Topics include: basic components and media such as
word processors, workstations, PBXs, and local area networks; office
firmware such as RasterOps, virtual keyboards, phone handlers, and
window managers; office system elements such as document editors, mail
systems, calendaring systems, and distributed servers. The course will
describe and discuss issues of user interfaces, user programming, office
modeling, and the social / organizational structures within which the
technology must exist. Prerequisites: computer organization (e.g.
cs111,cs112), computer software (e.g. cs142,cs146).
Fall 84 only.

Joe Halpern (IBM San Jose)
400B  Reasoning about Knowledge.  Formal Systems for modeling aspects
of reasoning about knowledge, such as modal logic, nonmonotonic logic and
relevance logic will be considered.  Discussions will address to what 
extent these approaches can be used to deal with such problems as 
reasoning in the presence of inconsistency, belief revision, and
knowledge representation.  Familiarity with mathematical reasoning and
first-order logic will be assumed.
Winter quarter (Halpern) by arrangement.

Richard Waldinger (SRI International)

Seminar in Program Synthesis:

Recent research on the systematic derivation of programs
to meet given specifications, with an emphasis on deductive
approaches.  Related topics in theorem proving, logic prog-
gramming, planning, and program transformation.  Individual
projects and some student presentations.

Prerequisites: CS157 A/B or equivalent.
Spring 85 only.